1. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
